Optimal. Leaf size=112 \[ -\frac{p x (b d-a e)^2}{3 b^2}-\frac{p (b d-a e)^3 \log (a+b x)}{3 b^3 e}+\frac{(d+e x)^3 \log \left (c (a+b x)^p\right )}{3 e}-\frac{p (d+e x)^2 (b d-a e)}{6 b e}-\frac{p (d+e x)^3}{9 e} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.073292, antiderivative size = 112, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 2, integrand size = 18, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.111, Rules used = {2395, 43} \[ -\frac{p x (b d-a e)^2}{3 b^2}-\frac{p (b d-a e)^3 \log (a+b x)}{3 b^3 e}+\frac{(d+e x)^3 \log \left (c (a+b x)^p\right )}{3 e}-\frac{p (d+e x)^2 (b d-a e)}{6 b e}-\frac{p (d+e x)^3}{9 e} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2395
Rule 43
Rubi steps
\begin{align*} \int (d+e x)^2 \log \left (c (a+b x)^p\right ) \, dx &=\frac{(d+e x)^3 \log \left (c (a+b x)^p\right )}{3 e}-\frac{(b p) \int \frac{(d+e x)^3}{a+b x} \, dx}{3 e}\\ &=\frac{(d+e x)^3 \log \left (c (a+b x)^p\right )}{3 e}-\frac{(b p) \int \left (\frac{e (b d-a e)^2}{b^3}+\frac{(b d-a e)^3}{b^3 (a+b x)}+\frac{e (b d-a e) (d+e x)}{b^2}+\frac{e (d+e x)^2}{b}\right ) \, dx}{3 e}\\ &=-\frac{(b d-a e)^2 p x}{3 b^2}-\frac{(b d-a e) p (d+e x)^2}{6 b e}-\frac{p (d+e x)^3}{9 e}-\frac{(b d-a e)^3 p \log (a+b x)}{3 b^3 e}+\frac{(d+e x)^3 \log \left (c (a+b x)^p\right )}{3 e}\\ \end{align*}
Mathematica [A] time = 0.106499, size = 121, normalized size = 1.08 \[ \frac{b \left (6 b \left (3 a d^2+b x \left (3 d^2+3 d e x+e^2 x^2\right )\right ) \log \left (c (a+b x)^p\right )-p x \left (6 a^2 e^2-3 a b e (6 d+e x)+b^2 \left (18 d^2+9 d e x+2 e^2 x^2\right )\right )\right )+6 a^2 e p (a e-3 b d) \log (a+b x)}{18 b^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] time = 0.51, size = 537, normalized size = 4.8 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.10382, size = 184, normalized size = 1.64 \begin{align*} -\frac{1}{18} \, b p{\left (\frac{2 \, b^{2} e^{2} x^{3} + 3 \,{\left (3 \, b^{2} d e - a b e^{2}\right )} x^{2} + 6 \,{\left (3 \, b^{2} d^{2} - 3 \, a b d e + a^{2} e^{2}\right )} x}{b^{3}} - \frac{6 \,{\left (3 \, a b^{2} d^{2} - 3 \, a^{2} b d e + a^{3} e^{2}\right )} \log \left (b x + a\right )}{b^{4}}\right )} + \frac{1}{3} \,{\left (e^{2} x^{3} + 3 \, d e x^{2} + 3 \, d^{2} x\right )} \log \left ({\left (b x + a\right )}^{p} c\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.01714, size = 369, normalized size = 3.29 \begin{align*} -\frac{2 \, b^{3} e^{2} p x^{3} + 3 \,{\left (3 \, b^{3} d e - a b^{2} e^{2}\right )} p x^{2} + 6 \,{\left (3 \, b^{3} d^{2} - 3 \, a b^{2} d e + a^{2} b e^{2}\right )} p x - 6 \,{\left (b^{3} e^{2} p x^{3} + 3 \, b^{3} d e p x^{2} + 3 \, b^{3} d^{2} p x +{\left (3 \, a b^{2} d^{2} - 3 \, a^{2} b d e + a^{3} e^{2}\right )} p\right )} \log \left (b x + a\right ) - 6 \,{\left (b^{3} e^{2} x^{3} + 3 \, b^{3} d e x^{2} + 3 \, b^{3} d^{2} x\right )} \log \left (c\right )}{18 \, b^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 3.18163, size = 223, normalized size = 1.99 \begin{align*} \begin{cases} \frac{a^{3} e^{2} p \log{\left (a + b x \right )}}{3 b^{3}} - \frac{a^{2} d e p \log{\left (a + b x \right )}}{b^{2}} - \frac{a^{2} e^{2} p x}{3 b^{2}} + \frac{a d^{2} p \log{\left (a + b x \right )}}{b} + \frac{a d e p x}{b} + \frac{a e^{2} p x^{2}}{6 b} + d^{2} p x \log{\left (a + b x \right )} - d^{2} p x + d^{2} x \log{\left (c \right )} + d e p x^{2} \log{\left (a + b x \right )} - \frac{d e p x^{2}}{2} + d e x^{2} \log{\left (c \right )} + \frac{e^{2} p x^{3} \log{\left (a + b x \right )}}{3} - \frac{e^{2} p x^{3}}{9} + \frac{e^{2} x^{3} \log{\left (c \right )}}{3} & \text{for}\: b \neq 0 \\\left (d^{2} x + d e x^{2} + \frac{e^{2} x^{3}}{3}\right ) \log{\left (a^{p} c \right )} & \text{otherwise} \end{cases} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.27441, size = 423, normalized size = 3.78 \begin{align*} \frac{{\left (b x + a\right )} d^{2} p \log \left (b x + a\right )}{b} + \frac{{\left (b x + a\right )}^{2} d p e \log \left (b x + a\right )}{b^{2}} - \frac{2 \,{\left (b x + a\right )} a d p e \log \left (b x + a\right )}{b^{2}} - \frac{{\left (b x + a\right )} d^{2} p}{b} - \frac{{\left (b x + a\right )}^{2} d p e}{2 \, b^{2}} + \frac{2 \,{\left (b x + a\right )} a d p e}{b^{2}} + \frac{{\left (b x + a\right )}^{3} p e^{2} \log \left (b x + a\right )}{3 \, b^{3}} - \frac{{\left (b x + a\right )}^{2} a p e^{2} \log \left (b x + a\right )}{b^{3}} + \frac{{\left (b x + a\right )} a^{2} p e^{2} \log \left (b x + a\right )}{b^{3}} + \frac{{\left (b x + a\right )} d^{2} \log \left (c\right )}{b} + \frac{{\left (b x + a\right )}^{2} d e \log \left (c\right )}{b^{2}} - \frac{2 \,{\left (b x + a\right )} a d e \log \left (c\right )}{b^{2}} - \frac{{\left (b x + a\right )}^{3} p e^{2}}{9 \, b^{3}} + \frac{{\left (b x + a\right )}^{2} a p e^{2}}{2 \, b^{3}} - \frac{{\left (b x + a\right )} a^{2} p e^{2}}{b^{3}} + \frac{{\left (b x + a\right )}^{3} e^{2} \log \left (c\right )}{3 \, b^{3}} - \frac{{\left (b x + a\right )}^{2} a e^{2} \log \left (c\right )}{b^{3}} + \frac{{\left (b x + a\right )} a^{2} e^{2} \log \left (c\right )}{b^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]